<?php
session_start();
if (!isset($_SESSION['id_usuario'])){
header ('Location: /index.html');
}
?>
<html>
<head>
<meta charset="UTF-8">
<title>Portal</title>
</head>
<body>
b
</body>
</html>